home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / StdEnv / StdBool.dcl < prev    next >
Encoding:
Text File  |  1996-12-23  |  735 b   |  28 lines  |  [TEXT/3PRM]
  1. system module StdBool
  2.  
  3. // ****************************************************************************************
  4. //    Concurrent Clean Standard Library Module Version 1.1
  5. //    Copyright 1994 University of Nijmegen
  6. // ****************************************************************************************
  7.  
  8. import    StdOverloaded
  9.  
  10. instance ==                Bool
  11.  
  12. instance toBool            Bool
  13. instance toString        Bool
  14.  
  15. instance fromBool        Bool
  16. instance fromBool        {#Char}
  17.  
  18. //    Additional Logical Operators:
  19.  
  20. not                    :: !Bool        ->    Bool    //    Not arg1
  21. (||)    infixr 2    :: !Bool Bool    ->    Bool    //    Conditional or  of arg1 and arg2
  22. (&&)    infixr 3    :: !Bool Bool    ->    Bool    //    Conditional and of arg1 and arg2
  23.  
  24. //    Miscellaneous:
  25.  
  26. otherwise :== True                                //    To be used in guards
  27.  
  28.